Search results for "vector space"

showing 10 items of 287 documents

Dual attachment pairs in categorically-algebraic topology

2011

[EN] The paper is a continuation of our study on developing a new approach to (lattice-valued) topological structures, which relies on category theory and universal algebra, and which is called categorically-algebraic (catalg) topology. The new framework is used to build a topological setting, based in a catalg extension of the set-theoretic membership relation "e" called dual attachment, thereby dualizing the notion of attachment introduced by the authors earlier. Following the recent interest of the fuzzy community in topological systems of S. Vickers, we clarify completely relationships between these structures and (dual) attachment, showing that unlike the former, the latter have no inh…

(pre)image operatorWeak topologyTopological algebralcsh:Mathematicslcsh:QA299.6-433Quasi-framelcsh:AnalysisTopological spacelcsh:QA1-939Topological vector spaceHomeomorphismAlgebraDual attachment pair(LM)-fuzzy topologyTrivial topologyCategory of topological spacesVarietyGeometry and TopologyGeneral topology(lattice-valued) categorically-algebraic topologyTopological systemQuasi-coincidence relationSpatialization(localic) algebraMathematics
researchProduct

Removing the saturation assumption in Bank-Weiser error estimator analysis in dimension three

2020

International audience; We provide a new argument proving the reliability of the Bank-Weiser estimator for Lagrange piecewise linear finite elements in both dimension two and three. The extension to dimension three constitutes the main novelty of our study. In addition, we present a numerical comparison of the Bank-Weiser and residual estimators for a three-dimensional test case.

010103 numerical & computational mathematicsResidual01 natural sciencesPiecewise linear function: Multidisciplinaire généralités & autres [C99] [Ingénierie informatique & technologie]Dimension (vector space)Bank-Weiser estimatorApplied mathematicsfinite element methodssaturation assumption0101 mathematicsReliability (statistics)Mathematicsresidual estimatorBank-WeiserestimatorApplied Mathematics: Multidisciplinary general & others [C99] [Engineering computing & technology]NoveltyEstimatorExtension (predicate logic)16. Peace & justiceFinite element methoda posteriori error estimation010101 applied mathematics: Mathematics [G03] [Physical chemical mathematical & earth Sciences]: Mathématiques [G03] [Physique chimie mathématiques & sciences de la terre][MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
researchProduct

The Spatial Dimension in Population Fluctuations

1997

Theoretical research into the dynamics of coupled populations has suggested a rich ensemble of spatial structures that are created and maintained either by external disturbances or self-reinforcing interactions among the populations. Long-term data of the Canadian lynx from eight Canadian provinces display large-scale spatial synchrony in population fluctuations. The synchronous dynamics are not time-invariant, however, as pairs of populations that are initially in step may drift out of phase and back into phase. These observations are in agreement with predictions of a spatially-linked population model and support contemporary population ecology theory.

0106 biological scienceseducation.field_of_studyMultidisciplinarybiology010604 marine biology & hydrobiologyPopulationCanadian lynxPopulation ecologybiology.organism_classification010603 evolutionary biology01 natural sciencesOut of phaseGeographyDimension (vector space)Population modelClimatologySynchronismeducationSpatial organizationScience
researchProduct

Interrogating witnesses for geometric constraint solving

2012

International audience; Classically, geometric constraint solvers use graph-based methods to decompose systems of geometric constraints. These methods have intrinsic limitations, which the witness method overcomes; a witness is a solution of a variant of the system. This paper details the computation of a basis of the vector space of free infinitesimal motions of a typical witness, and explains how to use this basis to interrogate the witness for dependence detection. The paper shows that the witness method detects all kinds of dependences: structural dependences already detectable by graph-based methods, but also non-structural dependences, due to known or unknown geometric theorems, which…

0209 industrial biotechnologyMathematical optimizationGeometric constraintsTheoretical computer science[ INFO.INFO-NA ] Computer Science [cs]/Numerical Analysis [cs.NA]InfinitesimalComputationRigidity (psychology)02 engineering and technologyTheoretical Computer ScienceDependent and independent constraintsGeometric networks020901 industrial engineering & automation0202 electrical engineering electronic engineering information engineeringConstraint solvingMathematicsGeometric transformationWitness configuration020207 software engineering[INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA]16. Peace & justiceWitnessComputer Science ApplicationsComputational Theory and MathematicsConstraint decompositionGraph (abstract data type)Infinitesimal motionsAlgorithmInformation SystemsVector space
researchProduct

Robust Mean Field Games with Application to Production of an Exhaustible Resource

2012

International audience; In this paper, we study mean field games under uncertainty. We consider a population of players with individual states driven by a standard Brownian motion and a disturbance term. The contribution is three-fold: First, we establish a mean field system for such robust games. Second, we apply the methodology to an exhaustible resource production. Third, we show that the dimension of the mean field system can be significantly reduced by considering a functional of the first moment of the mean field process.

0209 industrial biotechnologyeducation.field_of_study010102 general mathematicsPopulationProcess (computing)02 engineering and technologyGeneral Medicinecontrol optimization game theory01 natural sciencesTerm (time)[INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI]symbols.namesake020901 industrial engineering & automationResource (project management)Dimension (vector space)Mean field theoryWiener processsymbolsProduction (economics)Settore MAT/09 - Ricerca Operativa0101 mathematicseducationMathematical economicsMathematicsIFAC Proceedings Volumes
researchProduct

Variable Ranking Feature Selection for the Identification of Nucleosome Related Sequences

2018

Several recent works have shown that K-mer sequence representation of a DNA sequence can be used for classification or identification of nucleosome positioning related sequences. This representation can be computationally expensive when k grows, making the complexity in spaces of exponential dimension. This issue effects significantly the classification task computed by a general machine learning algorithm used for the purpose of sequence classification. In this paper, we investigate the advantage offered by the so-called Variable Ranking Feature Selection method to select the most informative k − mers associated to a set of DNA sequences, for the final purpose of nucleosome/linker classifi…

0301 basic medicineSequenceSettore INF/01 - InformaticaEpigenomic030102 biochemistry & molecular biologybusiness.industryComputer scienceDeep learningPattern recognitionFeature selectionDNA sequencesNucleosomesRanking (information retrieval)Set (abstract data type)03 medical and health sciencesVariable (computer science)030104 developmental biologyDimension (vector space)Feature selectionDeep learning modelsArtificial intelligenceDeep learning models Feature selection DNA sequences Epigenomic NucleosomesRepresentation (mathematics)business
researchProduct

Interpretability of Recurrent Neural Networks in Remote Sensing

2020

In this work we propose the use of Long Short-Term Memory (LSTM) Recurrent Neural Networks for multivariate time series of satellite data for crop yield estimation. Recurrent nets allow exploiting the temporal dimension efficiently, but interpretability is hampered by the typically overparameterized models. The focus of the study is to understand LSTM models by looking at the hidden units distribution, the impact of increasing network complexity, and the relative importance of the input covariates. We extracted time series of three variables describing the soil-vegetation status in agroe-cosystems -soil moisture, VOD and EVI- from optical and microwave satellites, as well as available in si…

2. Zero hungerMultivariate statisticsNetwork complexity010504 meteorology & atmospheric sciencesComputer science0211 other engineering and technologies02 engineering and technology15. Life on landcomputer.software_genre01 natural sciencesRecurrent neural networkDimension (vector space)Redundancy (engineering)Relevance (information retrieval)Data miningTime seriesWater contentcomputer021101 geological & geomatics engineering0105 earth and related environmental sciencesInterpretabilityIGARSS 2020 - 2020 IEEE International Geoscience and Remote Sensing Symposium
researchProduct

Visible parts of fractal percolation

2009

We study dimensional properties of visible parts of fractal percolation in the plane. Provided that the dimension of the fractal percolation is at least 1, we show that, conditioned on non-extinction, almost surely all visible parts from lines are 1-dimensional. Furthermore, almost all of them have positive and finite Hausdorff measure. We also verify analogous results for visible parts from points. These results are motivated by an open problem on the dimensions of visible parts.

28A80Plane (geometry)General MathematicsOpen problemProbability (math.PR)Mathematical analysisFractalDimension (vector space)Mathematics - Classical Analysis and ODEsPercolationHausdorff dimensionClassical Analysis and ODEs (math.CA)FOS: MathematicsHausdorff measureAlmost surelyMathematics - ProbabilityMathematics
researchProduct

Isometric embeddings of snowflakes into finite-dimensional Banach spaces

2016

We consider a general notion of snowflake of a metric space by composing the distance by a nontrivial concave function. We prove that a snowflake of a metric space $X$ isometrically embeds into some finite-dimensional normed space if and only if $X$ is finite. In the case of power functions we give a uniform bound on the cardinality of $X$ depending only on the power exponent and the dimension of the vector space.

30L05 46B85 54C25 54E40 28A80Pure mathematicsmetric spacesGeneral MathematicsMathematicsofComputing_GENERALBanach space01 natural sciencesfunctional analysisCardinalityMathematics - Metric GeometryDimension (vector space)0103 physical sciencesFOS: MathematicsMathematics (all)Mathematics::Metric Geometry0101 mathematicsSnowflakeNormed vector spaceMathematicsConcave functionApplied Mathematicsta111010102 general mathematicsnormiavaruudetMetric Geometry (math.MG)normed spacesmetriset avaruudetMetric spacefractalsfraktaalit010307 mathematical physicsfunktionaalianalyysiMathematics (all); Applied MathematicsVector spaceProceedings of the American Mathematical Society
researchProduct

On the Almost Everywhere Convergence of Multiple Fourier-Haar Series

2019

The paper deals with the question of convergence of multiple Fourier-Haar series with partial sums taken over homothetic copies of a given convex bounded set $$W\subset\mathbb{R}_+^n$$ containing the intersection of some neighborhood of the origin with $$\mathbb{R}_+^n$$ . It is proved that for this type sets W with symmetric structure it is guaranteed almost everywhere convergence of Fourier-Haar series of any function from the class L(ln+L)n−1.

40A05Control and OptimizationBounded set (topological vector space)Type (model theory)01 natural sciencesmultiple Fourier-Haar seriesHomothetic transformationCombinatoricssymbols.namesakeSettore MAT/05 - Analisi Matematica0103 physical sciences42C10Almost everywhere0101 mathematicsMathematicsSeries (mathematics)Applied Mathematics010102 general mathematicsRegular polygonAlmost everywhere convergenceFunction (mathematics)Fourier transformsymbols010307 mathematical physicslacunar serieAnalysisJournal of Contemporary Mathematical Analysis (Armenian Academy of Sciences)
researchProduct